CAL tech

High Tech versus Low Tech Training

The United States Marine Corps has some of the most advanced weapons systems and training in the world, yet they make extensive use of “low tech” training tools. Sand table exercises and tactical decision games are used by Marines all over the world, at sea and on land. Although the U.S. Department of Defense has a nearly $18 billion annual training budget, the Marines choose to teach decision ...

Context Cal ulus 1

The +CAL Algorithm Language

Algorithms are different from programs and should not be described with programming languages. Until now, the only simple alternative to programming languages has been pseudo-code. Based on the TLA+ specification language, +cal is an algorithm language that is designed to replace pseudocode. A +cal algorithm is automatically translated to a TLA+ specification that can be checked with the TLC mo...

A CAL Wizard

The project is to design and implement a ‘wizard’ with the following functionality to support a traditional CAL learning environment. To continually monitor and collect data on individual and group student performance, to perform statistical analysis, to provide feedback for teachers, to enable students to contribute to the wizard’s experience, and to provide advice to the individual student.

The Lambda Cal